@Override
public void visit(ArrayLengthInstruction insn) {
canMove = true;
if (!notNull[insn.getArray().getIndex()]) {
sideEffect = true;
}
}
@Override
public void visit(ArrayLengthInstruction insn) {
canMove = true;
if (!nullness.isNotNull(insn.getArray())) {
sideEffect = true;
}
}